Optimal. Leaf size=48 \[ -\frac {a x}{2}+\frac {1}{2} \tanh ^{-1}(a x)-\frac {1}{2} a^2 x^2 \tanh ^{-1}(a x)-\frac {1}{2} \text {PolyLog}(2,-a x)+\frac {1}{2} \text {PolyLog}(2,a x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 48, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.278, Rules used = {6161, 6031,
6037, 327, 212} \begin {gather*} -\frac {1}{2} a^2 x^2 \tanh ^{-1}(a x)-\frac {\text {Li}_2(-a x)}{2}+\frac {\text {Li}_2(a x)}{2}-\frac {a x}{2}+\frac {1}{2} \tanh ^{-1}(a x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 327
Rule 6031
Rule 6037
Rule 6161
Rubi steps
\begin {align*} \int \frac {\left (1-a^2 x^2\right ) \tanh ^{-1}(a x)}{x} \, dx &=-\left (a^2 \int x \tanh ^{-1}(a x) \, dx\right )+\int \frac {\tanh ^{-1}(a x)}{x} \, dx\\ &=-\frac {1}{2} a^2 x^2 \tanh ^{-1}(a x)-\frac {\text {Li}_2(-a x)}{2}+\frac {\text {Li}_2(a x)}{2}+\frac {1}{2} a^3 \int \frac {x^2}{1-a^2 x^2} \, dx\\ &=-\frac {a x}{2}-\frac {1}{2} a^2 x^2 \tanh ^{-1}(a x)-\frac {\text {Li}_2(-a x)}{2}+\frac {\text {Li}_2(a x)}{2}+\frac {1}{2} a \int \frac {1}{1-a^2 x^2} \, dx\\ &=-\frac {a x}{2}+\frac {1}{2} \tanh ^{-1}(a x)-\frac {1}{2} a^2 x^2 \tanh ^{-1}(a x)-\frac {\text {Li}_2(-a x)}{2}+\frac {\text {Li}_2(a x)}{2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 60, normalized size = 1.25 \begin {gather*} -\frac {a x}{2}-\frac {1}{2} a^2 x^2 \tanh ^{-1}(a x)-\frac {1}{4} \log (1-a x)+\frac {1}{4} \log (1+a x)+\frac {1}{2} (-\text {PolyLog}(2,-a x)+\text {PolyLog}(2,a x)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.13, size = 69, normalized size = 1.44
method | result | size |
derivativedivides | \(-\frac {a^{2} x^{2} \arctanh \left (a x \right )}{2}+\arctanh \left (a x \right ) \ln \left (a x \right )-\frac {a x}{2}-\frac {\ln \left (a x -1\right )}{4}+\frac {\ln \left (a x +1\right )}{4}-\frac {\dilog \left (a x \right )}{2}-\frac {\dilog \left (a x +1\right )}{2}-\frac {\ln \left (a x \right ) \ln \left (a x +1\right )}{2}\) | \(69\) |
default | \(-\frac {a^{2} x^{2} \arctanh \left (a x \right )}{2}+\arctanh \left (a x \right ) \ln \left (a x \right )-\frac {a x}{2}-\frac {\ln \left (a x -1\right )}{4}+\frac {\ln \left (a x +1\right )}{4}-\frac {\dilog \left (a x \right )}{2}-\frac {\dilog \left (a x +1\right )}{2}-\frac {\ln \left (a x \right ) \ln \left (a x +1\right )}{2}\) | \(69\) |
risch | \(\frac {\left (-a x +1\right )^{2} \ln \left (-a x +1\right )}{4}-\frac {a x}{2}-\frac {\left (-a x +1\right ) \ln \left (-a x +1\right )}{2}+\frac {\dilog \left (-a x +1\right )}{2}-\frac {\left (a x +1\right )^{2} \ln \left (a x +1\right )}{4}+\frac {\left (a x +1\right ) \ln \left (a x +1\right )}{2}-\frac {\dilog \left (a x +1\right )}{2}\) | \(83\) |
meijerg | \(-\frac {i \left (\frac {2 i a x \polylog \left (2, \sqrt {a^{2} x^{2}}\right )}{\sqrt {a^{2} x^{2}}}-\frac {2 i a x \polylog \left (2, -\sqrt {a^{2} x^{2}}\right )}{\sqrt {a^{2} x^{2}}}\right )}{4}-\frac {i \left (-2 i x a +2 i \left (-a x +1\right ) \left (a x +1\right ) \arctanh \left (a x \right )\right )}{4}\) | \(85\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 89 vs.
\(2 (36) = 72\).
time = 0.26, size = 89, normalized size = 1.85 \begin {gather*} -\frac {1}{4} \, a {\left (2 \, x + \frac {2 \, {\left (\log \left (a x + 1\right ) \log \left (x\right ) + {\rm Li}_2\left (-a x\right )\right )}}{a} - \frac {2 \, {\left (\log \left (-a x + 1\right ) \log \left (x\right ) + {\rm Li}_2\left (a x\right )\right )}}{a} - \frac {\log \left (a x + 1\right )}{a} + \frac {\log \left (a x - 1\right )}{a}\right )} - \frac {1}{2} \, {\left (a^{2} x^{2} - \log \left (x^{2}\right )\right )} \operatorname {artanh}\left (a x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \left (- \frac {\operatorname {atanh}{\left (a x \right )}}{x}\right )\, dx - \int a^{2} x \operatorname {atanh}{\left (a x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.02 \begin {gather*} -\int \frac {\mathrm {atanh}\left (a\,x\right )\,\left (a^2\,x^2-1\right )}{x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________